On the Design of Social Robots Using Sheaf Theory and Smart Contracts